On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog
نویسندگان
چکیده
In order to allow an autonomous robot to perform non-trivial tasks like to explore a foreign planet the robot has to have deliberative capabilities like reasoning or planning. Logic-based approaches like the programming and planing language Golog and it successors has been successfully used for such decision-making problems. A drawback of this particular programing language is that their interpreter usually are written in Prolog and run on a Prolog back-end. Such back-ends are usually not available or feasible on resource-limited robot systems. In this paper we present our ideas and first results of a re-implementation of the interpreter based on the Lua scripting language which is available on a wide range of systems including small embedded systems.
منابع مشابه
Golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems
Among many approaches to address the high-level decision making problem for autonomous robots and agents, the robot programming and plan language Golog follows a logic-based deliberative approach, and its successors were successfully deployed in a number of robotics applications over the past ten years. Usually, Golog interpreter are implemented in Prolog, which is not available for our target ...
متن کاملOn sensing and off-line interpreting in GOLOG
GOLOG is a high-level programming language for the specification of complex actions. It combines the situation calculus with control structures known from conventional programming languages. Given a suitable axiomatization of what the world is like initially and how the primitive actions change the world, the GOLOG interpreter derives for each program a corresponding linear sequence of legally ...
متن کاملOn Sensing and Oo-line Interpreting in Golog
GOLOG is a high-level programming language for the speciication of complex actions. It combines the situation calculus with control structures known from conventional programming languages. Given a suitable ax-iomatization of what the world is like initially and how the primitive actions change the world, the GOLOG interpreter derives for each program a corresponding linear sequence of legally ...
متن کاملGolog Speaks the BDI Language
In this paper, we relate two of the most well developed approaches to agent-oriented programming, namely, BDI (Belief-Desire-Intention) style programming and “Golog-like” high-level programming. In particular, we show how “Golog-like” programming languages can be used to develop BDI-style agent systems. The contribution of this paper is twofold. First, it demonstrates how practical agent system...
متن کاملType Systems for Resource-Bounded Programming and Compilation Case for Support
Recent decades have seen a gradual move from low-level programming languages such as assembler, Basic, and COBOL to high-level languages such as C++, Haskell, Java, and ML. High-level languages provide abstraction layers and powerful programming idioms, making it much easier to implement and analyse complicated algorithms. At the beginning, lack of efficiency prevented the use of these language...
متن کامل